AC說謊邏輯閘A = ~BB = ~CC = ~A and ~B = ~A and A = 0故 B=1, A=0; 結案翻譯A真話 成立於 B說謊B真話 成立於 C說謊C真話 成立於 A說謊 且 B說謊, 而若B說謊則A為真話,會得到 C真話 要成立於 A說謊 且 A真話(矛盾),則C說謊因C說謊 故 B真話, B真話則A說謊故 AC說謊