Hostname: page-component-7bb8b95d7b-lvwk9 Total loading time: 0 Render date: 2024-10-01T15:26:44.305Z Has data issue: false hasContentIssue false
  • English
  • Français

A Functional Equation For Implication

Published online by Cambridge University Press:  03 November 2016

R. L. Goodstein
R. L. Goodstein*
Affiliation:
The University of Leicester
Get access Rights & Permissions [Opens in a new window]

Extract

Since all truth functions in two-valued logic may be represented by polynomials in the arithmetic of residues modulo 2, the question which R. Sibson raises in note 3127 may be expressed in the following form : Find all polynomials Φ(p, q) such that

identically, where p & q is a commutative polynomial which vanishes only when p = q = 0, and p & p = p. Taking p = q = r in (1) we find

Type
Research Article
Information
The Mathematical Gazette , Volume 51 , Issue 375 , February 1967 , pp. 38 - 40
Copyright
Copyright © Mathematical Association 1967

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)