ตรรกสมมูล (Logical Equivalence) Compound proposition p is logically equivalent to compound proposition q, written p  q, IFF the compound proposition p  q is a tautology.
{"Image DocumentName": "\u0e01\u0e32\u0e23\u0e1e\u0e34\u0e2a\u0e39\u0e08\u0e19\u0e4c\u0e04\u0e27\u0e32\u0e21\u0e2a\u0e21\u0e21\u0e39\u0e25\u0e01\u0e31\u0e19\u0e42\u0e14\u0e22\u0e43\u0e0a\u0e49\u0e15\u0e32\u0e23\u0e32\u0e07\u0e04\u0e48\u0e32\u0e04\u0e27\u0e32\u0e21\u0e08\u0e23\u0e34\u0e07", "Image ImageDescription": "Ex. Prove that p\uf0daq \uf0db \uf0d8(\uf0d8p \uf0d9 \uf0d8q). F. T. T. T. F. T. T. F. F. T. T. F. T. F. T. T. F. F. F. T.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}