<?xml version="1.0" encoding="utf-8" standalone="yes" ?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>Logic on Hillel Wayne</title>
    <link>https://www.hillelwayne.com/tags/logic/</link>
    <description>Recent content in Logic on Hillel Wayne</description>
    <generator>Hugo -- gohugo.io</generator>
    <language>en-us</language>
    <lastBuildDate>Mon, 11 Feb 2019 00:00:00 +0000</lastBuildDate>
    
	<atom:link href="https://www.hillelwayne.com/tags/logic/index.xml" rel="self" type="application/rss+xml" />
    
    
    <item>
      <title>Solving Knights and Knaves with Alloy</title>
      <link>https://www.hillelwayne.com/post/knights-knaves/</link>
      <pubDate>Mon, 11 Feb 2019 00:00:00 +0000</pubDate>
      
      <guid>https://www.hillelwayne.com/post/knights-knaves/</guid>
      <description>There&amp;rsquo;s a famous logic puzzle, originally from Raymond Smullyan, called a &amp;ldquo;Knights and Knaves&amp;rdquo; puzzle. We have a set of people, all of whom are either a Knight or a Knave. Knights only make true statements, and Knaves only make false statements. Usually the goal of the puzzle is to find out who is what. For example, if we have two people, A and B, and A says &amp;ldquo;both of us are knaves&amp;rdquo;, we know A is a knave and B is a knight.</description>
    </item>
    
  </channel>
</rss>